Section: Partnerships and Cooperations
International Initiatives
Inria International Partners
-
Collaboration with Bogdan Warinschi (Bristol University) on defining game-based privacy for e-voting protocols and isolated execution environments.
-
Collaboration with Myrto Arapinis (University of Edinburgh) on simplification results for the formal analysis of e-voting protocols.
-
Collaboration with Matteo Maffei (CISPA, Germany) on type systems for e-voting systems.
-
Collaboration with Paliath Narendran's group (SUNY Albany) on automated deduction.
-
Collaboration with Hanifa Boucheneb's group (Ecole Polytechnique de Montréal) on model-checking of collaborative systems.
-
Collaboration with John Mullins's group (Ecole Polytechnique de Montréal) on information hiding.